Section: Dissemination
Promoting Scientific Activities
Scientific events organisation
General chair, scientific chair
-
D. Janin was general chair of the workshop “Modélisation et représentation musicale ”, GDR ESARS, Bordeaux,
Scientific events selection
Chair of conference program committees
-
D. Janin, PC Chair of ACM Workshop on Functional Art, Music, Modeling and Design (FARM) , Vancouver (Canada), associated with ICFP,
Member of the conference program committees
-
M. Desainte-Catherine, PC member of Journées d’Informatique Musicale (JIM 2015) , Montréal (Canada),
-
M. Desainte-Catherine, PC member of Sound and Music Computing (SMC 2015) , Maynooth (Ireland),
-
M. Desainte-Catherine, PC member of International Conference on Digital Audio Effects (DAFX 2015) , Trondheim (Norway).
Reviewer
Members of the project are yearly reviewers for a number of international conferences including LICS, ICALP, STACS, MFCS, FST&TCS, in theoretical computer science, and ICMC, SMC, NIME, FARM, TENOR, JIM in computer music.
Journal
Member of the editorial boards
-
S. Salvati is editor of the Journal of Logic Language and Information (JoLLI) ; since the end of 2015, he has been promoted as Editor in Chief,
-
M. Desainte-Catherine is editor of the Revue francophone d'informatique musicale (RFIM) .
Reviewer - Reviewing activities
Members of the project are regular reviewers for a number of international journal including ACM Computers In Entertainment (CIE) , Iranian Journal of Fuzzy Systems (IJFS) , Journal of New Music Research (JNMR) , Journal of Logic Language and Information (JoLLI) , Revue francophone d'informatique musicale (RFIM) , Discrete Mathematics &Theoretical Computer Science (DMTCS) , International Journal of Foundations of Computer Science (IJFCS) , Information & Computation (I&C) ...
Invited talks
-
S. Salvati, LIF seminar, "Formal language theory and lambda-calculus", February 2015
-
M . Desainte-Catherine, Albi Seminar Les nouveaux territoires de la création, “Jouer avec le temps”, March 2015,
-
S. Salvati, Chocola meeting, "Model construction for higher-order model-checking", April 2015
-
S. Salvati was an invited speaker of the conference Finite State Methods in Natural Language Processing, "Context-freeness, automata and denotational semantics", June 2015
-
S. Salvati, NII seminar "Model construction for higher-order model checking", July 2015,
-
D. Janin, Dagstuhl Seminar Verification of Evolving Graph Structures, “Higher dimensional strings”, November 2015,
-
D. Janin, RNSC MuSICAL meeting, "Visualisation et programmation musicale via l'algèbre", December 2015,
-
D. Janin, workshop GDR Esthétique Arts et Science (ESARS), "Représentation musicale et algèbre”, Novembre 2015,
-
M. Desainte-Catherine, colloque A& S FACTS, “Projet A& S le chant du filament”, with Nicolas Villenave, November 2015,
-
M. Desainte-Catherine and J.-M. Celerier, workshop GDR Esthétique Arts et Science (ESARS), “Structuration du temps avec i-score”, Bordeaux, November 2015.
Leadership within the scientific community
-
M. Desainte-Catherine is president of the Association Française d’Informatique Musicale (AFIM)
-
S. Salvati is the secretary of the Foundation for Logic Language and Information (FoLLI).
Scientific expertise
-
Expertise of Art and Science projects of Diagonale Paris-Saclay.
-
Expertise of projects for the young researcher award of Science and Music colloque at the University of Rennes.